A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems

OpenMP* has recently gained attention in the embedded domain by virtue of the augmentations implemented in the last specification. Yet, the language has a minimal impact in the embedded real-time domain mostly due to the lack of reliability and resiliency mechanisms. As a result, functional safety properties cannot be guaranteed. This paper analyses in detail the latest specification to determine whether and how the compliant OpenMP implementations can guarantee functional safety. Given the conclusions drawn from the analysis, the paper describes a set of modifications to the specification, and a set of requirements for compiler and runtime systems to qualify for safety critical environments. Through the proposed solution, OpenMP can be used in critical real-time embedded systems without compromising functional safety.This work was funded by the EU project P-SOCRATES (FP7-ICT-2013- 10) and the Spanish Ministry of Science and Innovation under contract TIN2015- 65316-P.Peer ReviewedPostprint (author's final draft

The Formation and Evolution of the First Massive Black Holes

The first massive astrophysical black holes likely formed at high redshifts (z>10) at the centers of low mass (~10^6 Msun) dark matter concentrations. These black holes grow by mergers and gas accretion, evolve into the population of bright quasars observed at lower redshifts, and eventually leave the supermassive black hole remnants that are ubiquitous at the centers of galaxies in the nearby universe. The astrophysical processes responsible for the formation of the earliest seed black holes are poorly understood. The purpose of this review is threefold: (1) to describe theoretical expectations for the formation and growth of the earliest black holes within the general paradigm of hierarchical cold dark matter cosmologies, (2) to summarize several relevant recent observations that have implications for the formation of the earliest black holes, and (3) to look into the future and assess the power of forthcoming observations to probe the physics of the first active galactic nuclei.Comment: 39 pages, review for "Supermassive Black Holes in the Distant Universe", Ed. A. J. Barger, Kluwer Academic Publisher

Lowering β-Amyloid Levels Rescues Learning and Memory in a Down Syndrome Mouse Model

β-amyloid levels are elevated in Down syndrome (DS) patients throughout life and are believed to cause Alzheimer's disease (AD) in adult members of this population. However, it is not known if β-amyloid contributes to intellectual disability in younger individuals. We used a γ-secretase inhibitor to lower β-amyloid levels in young mice that model DS. This treatment corrected learning deficits characteristic of these mice, suggesting that β-amyloid-lowering therapies might improve cognitive function in young DS patients

Rationale, design and methods for a community-based study of clustering and cumulative effects on chronic disease process and their effects on ageing: the Busselton healthy ageing study

Background: The global trend of increased life expectancy and increased prevalence of chronic and degenerative diseases will impact on health systems. To identify effective intervention and prevention strategies, greater understanding of the risk factors for and cumulative effects of chronic disease processes and their effects on function and quality of life is needed. The Busselton Healthy Ageing Study aims to enhance understanding of ageing by relating the clustering and interactions of common chronic conditions in adults to function. Longitudinal (3–5 yearly) follow-up is planned. Methods/design: Phase I (recruitment) is a cross-sectional community-based prospective cohort study involving up to 4,000 ‘Baby Boomers’ (born from 1946 to 1964) living in the Busselton Shire, Western Australia. The study protocol involves a detailed, self-administered health and risk factor questionnaire and a range of physical assessments including body composition and bone density measurements, cardiovascular profiling (blood pressure, ECG and brachial pulse wave velocity), retinal photography, tonometry, auto-refraction, spirometry and bronchodilator responsiveness, skin allergy prick tests, sleep apnoea screening, tympanometry and audiometry, grip strength, mobility, balance and leg extensor strength. Cognitive function and reserve, semantic memory, and pre-morbid intelligence are assessed. Participants provide a fasting blood sample for assessment of lipids, blood glucose, C-reactive protein and renal and liver function, and RNA, DNA and serum are stored. Clinically relevant results are provided to all participants. The prevalence of risk factors, symptoms and diagnosed illness will be calculated and the burden of illness will be estimated based on the observed relationships and clustering of symptoms and illness within individuals. Risk factors for combinations of illness will be compared with those for single illnesses and the relation of combinations of illness and symptoms to cognitive and physical function will be estimated. Discussion: This study will enable a thorough characterization of multiple disease processes and their risk factors within a community-based sample of individuals to determine their singular, interactive and cumulative effects on ageing. The project will provide novel cross-sectional data and establish a cohort that will be used for longitudinal analyses of the genetic, lifestyle and environmental factors that determine whether an individual ages well or with impairment

'Statins in retinal disease'

Statins are known for their blood cholesterol-lowering effect and are widely used in patients with cardiovascular and metabolic diseases. Research over the past three decades shows that statins have diverse effects on different pathophysiological pathways involved in angiogenesis, inflammation, apoptosis, and anti-oxidation, leading to new therapeutic options. Recently, statins have attracted considerable attention for their immunomodulatory effect. Since immune reactivity has been implicated in a number of retinal diseases, such as uveitis, age-related macular degeneration (AMD) and diabetic retinopathy, there is now a growing body of evidence supporting the beneficial effects of statins in these retinopathies. This review evaluates the relationship between statins and the pathophysiological basis of these diseases, focusing on their potential role in treatment. A PubMed database search and literature review was conducted. Among AMD patients, there is inconsistent evidence regarding protection against development of early AMD or delaying disease progression; though they have been found to reduce the risk of developing choroidal neovascular membranes (CNV). In patients with retinal vein occlusion, there was no evidence to support a therapeutic benefit or a protective role with statins. In patients with diabetic retinopathy, statins demonstrate a reduction in disease progression and improved resolution of diabetic macular oedema (DMO). Among patients with uveitis, statins have a protective effect by reducing the likelihood of uveitis development

The effect of high-altitude on human skeletal muscle energetics: 31P-MRS results from the caudwell xtreme everest expedition

Many disease states are associated with regional or systemic hypoxia. The study of healthy individuals exposed to high-altitude hypoxia offers a way to explore hypoxic adaptation without the confounding effects of disease and therapeutic interventions. Using 31P magnetic resonance spectroscopy and imaging, we investigated skeletal muscle energetics and morphology after exposure to hypobaric hypoxia in seven altitude-naïve subjects (trekkers) and seven experienced climbers. The trekkers ascended to 5300 m while the climbers ascended above 7950 m. Before the study, climbers had better mitochondrial function (evidenced by shorter phosphocreatine recovery halftime) than trekkers: 16±1 vs. 22±2 s (mean ± SE, p<0.01). Climbers had higher resting [Pi] than trekkers before the expedition and resting [Pi] was raised across both groups on their return (PRE: 2.6±0.2 vs. POST: 3.0±0.2 mM, p<0.05). There was significant muscle atrophy post-CXE (PRE: 4.7±0.2 vs. POST: 4.5±0.2 cm2, p<0.05), yet exercising metabolites were unchanged. These results suggest that, in response to high altitude hypoxia, skeletal muscle function is maintained in humans, despite significant atrophy

Causal-Consistent Replay Debugging for Message Passing Programs

Part 1: Full PapersInternational audienceDebugging of concurrent systems is a tedious and error-proneactivity. A main issue is that there is no guarantee that a bug that appears in the original computation is replayed inside the debugger. This problem is usually tackled by so-called replay debugging, which allows the user to record a program execution and replay it inside the debugger. In this paper, we present a novel technique for replay debugging that we call controlled causal-consistent replay. Controlled causal-consistent replay allows the user to record a program execution and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including alland only its causes. In this way, the user is not distracted by the actions of others, unrelated processes